A Formal Logic for Digital Investigations: A Case Study using BPB modifications

A Formal Logic is developed and the following presented: i) Notation for Formal Logic; ii) developing the Formal Logic for Digital Investigations Experiments (FDIE); iii) Case study modifying BPB and demonstrating the Formal Logic in ii); and iv) extending the Formal logic to Digital Investigations (FDI). A case study using BIOS Partition Block (BPB) modifications to render the partitions unreadable is used to successfully demonstrate the FDIE. From this experiment the Formal logic (FDIE) is extended to Formal Logic for Digital Investigations (FDI).